（来源：上观新闻）
直到 2025 🧵🐍年初，他抱📘着试试看的心态🐏碰了一下 AI🏦 编程智能🎨体🇮🇹。而通往那一未来的🇰🇿📞桥梁，正建🇸🇷🤧立在今天对物理🌿智能的扎实🥙⛪探索之上❎🇹🇨。“用户通常🎚使用自然🎋语言描述系统设计🥠，FM♨-Agent😢🖋 生成的🦹♂️规约也是自🕹📱然语言，🚮🕑而传统🔫形式化验证器只支👨❤️💋👨🍒持基于🍗数学公式的推🐃理，二者存在巨大📟🤦♀️的语义鸿沟⬜🧀。
李一言指出🖊，机器人🎊🐮租赁与汽车租赁👰存在本质差异：🤵汽车租🇬🇲🏏赁只需👝🐆提供载🇫🇷🎃体，机器人租赁🇧🇧💻目前仍需🏌️♀️配套人工服务、🥐技能培训、💨💕保险等附🔢🇰🇲加内容🇩🇲。但需求侧都是重🍸👩👦👦AI投入的企业🛤，比如大模型公司🌦🇧🇩、互联网大厂，在🇪🇦🚳五月综合色数据上的支出规模➡🌯相对较大🚼。从厂商表现来🌉看，华为🕌🚝与苹果成为最🇿🇼主要的增长🏈🇧🇦驱动力，华为🏋️♀️稳居国内第一🇳🇿👢。
